Computer University

Results: 29298



#Item
691

Nikola Banovic Curriculum Vitae March 2018 Human-Computer Interaction Institute Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA

Add to Reading List

Source URL: www.nikolabanovic.net

Language: English - Date: 2018-03-20 16:02:21
    692

    LESSON PLAN Title: Rutgers University Virtual Classroom Visit: Q&A with Undergraduate Computer Scientists Lesson Objectives: By the end of the lesson, students will be able to: - better understand both the challenges and

    Add to Reading List

    Source URL: usacs.rutgers.edu

    Language: English - Date: 2018-08-14 21:47:09
      693

      Reapplication of SetCoLa Specifications for Biological Networks Jane Hoffswell, Alan Borning, and Jeffrey Heer Paul G. Allen School of Computer Science & Engineering, University of Washington In our paper, we showed how

      Add to Reading List

      Source URL: idl.cs.washington.edu

      Language: English
        694

        Melange: Creating a “Functional” Internet Anil Madhavapeddy†‡ , Alex Ho†♥ , Tim Deegan†‡ , David Scott‡ and Ripduman Sohan† † Computer Laboratory, University of Cambridge

        Add to Reading List

        Source URL: dave.recoil.org

        Language: English - Date: 2017-11-27 06:42:22
          695

          AMULET3 Revealed J. D. Garside, S. B. Furber and S-H Chung Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. {jgarside, sfurber, chungsh}@cs.man.ac.uk Abstract

          Add to Reading List

          Source URL: apt.cs.manchester.ac.uk

          Language: English - Date: 2014-05-13 09:16:45
            696

            Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2017-08-10 12:41:25
              697

              Algebraic Numbers in Isabelle/HOL1 Ren´e Thiemann and Akihisa Yamada Institute of Computer Science University of Innsbruck

              Add to Reading List

              Source URL: itp2016.inria.fr

              Language: English - Date: 2016-08-30 03:42:42
                698

                Research Statement Gregory James Gay Department of Computer Science and Engineering, University of South Carolina 2247 Storey Innovation and Engineeing Center, 550 Assembly Street, Columbia, SC9479, greg

                Add to Reading List

                Source URL: www.greggay.com

                Language: English - Date: 2017-11-28 09:22:57
                  699

                  Generating Abstract Comics Chris Martens(B) and Rogelio E. Cardona-Rivera Department of Computer Science, North Carolina State University, Raleigh, USA {crmarten,recardon}@ncsu.edu Abstract. We investigate a new approac

                  Add to Reading List

                  Source URL: rogel.io

                  Language: English - Date: 2016-11-13 11:02:09
                    700

                    Learning a Small Mixture of Trees∗ Daphne Koller Computer Science Department Stanford University

                    Add to Reading List

                    Source URL: ai.stanford.edu

                    Language: English - Date: 2009-10-31 14:36:08
                      UPDATE